翻訳と辞書
Words near each other
・ Behemoth (Westerfield novel)
・ Behemoth discography
・ Behemotops
・ Behenein
・ Behenian fixed star
・ Behenic acid
・ Behenjy
・ Behenna
・ Behentrimonium chloride
・ Behenu
・ Beher
・ BEHER (ham)
・ Beher (poetry)
・ Behera
・ Behavior mutation
Behavior of coupled DEVS
・ Behavior of DEVS
・ Behavior of nuclear fuel during a reactor accident
・ Behavior Rating Inventory of Executive Function
・ Behavior settings
・ Behavior Tech Computer
・ Behavior theory
・ Behavior tree
・ Behavior tree (artificial intelligence, robotics and control)
・ Behavior-altering parasites and parasitoids
・ Behavior-based robotics
・ Behavior-based safety
・ Behavior-driven development
・ Behavior-shaping constraint
・ Behavioral activation


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Behavior of coupled DEVS : ウィキペディア英語版
Behavior of coupled DEVS

''DEVS is closed under coupling'' () (). In other words, given a coupled DEVS model N , its behavior is described as an atomic DEVS model M. For a given coupled DEVS N , once we have an equivalent atomic DEVS M , behavior of M can be referred to behavior of atomic DEVS which is based on Timed Event System.
Similar to behavior of atomic DEVS, behavior of the Coupled DEVS class is described depending on definition of the total state set and its handling as follows.
== View1: Total States = States
* Elapsed Times ==
Given a coupled DEVS model N = , its behavior is described as an atomic DEVS model M =
where
* X and Y are the input event set and the output event set, respectively.
* S=\underset\times Q_i is the partial state set where Q_i=\ \in (\mathbb \cap (ta_i(s_i) ))\} is the total state set of component i \in D (Refer to View1 of Behavior of DEVS), where \mathbb= ), and input event x \in X , the next state is given by
\delta_(q, x)=s'=(\ldots,(s_i', t_'), \ldots)

where

(s_i', t_')=
\begin
(\delta_(s_i, t_, x_i),0) & \text (x, x_i) \in C_\\
(s_i, t_) & \text.
\end

Given the partial state s=(\ldots,(s_i, t_),\ldots) \in S , let IMM(s)=\ denote ''the set of imminent components''. The ''firing component'' i^
* \in D which triggers the internal state transition and an output event is determined by
i^
* = Select(IMM(s)).

*\delta_:S \rightarrow S is the internal state function. Given a partial state s=(\ldots, (s_, t_),\ldots), the next state is given by
\delta_(s)=s'=(\ldots,(s_i', t_'), \ldots)

where

(s_i', t_')=
\begin
(\delta_(s_i),0) & \text i = i^
*\\
(\delta_(s_i, t_, x_i),0) & \text (\lambda_(s_), x_i) \in C_\\
(s_i, t_) & \text.
\end

*\lambda:S \rightarrow Y^\phi is the output function. Given a partial state s=(\ldots, (s_, t_),\ldots),
\lambda(s)=
\begin
\phi &\text \lambda_(s_)=\phi \\
C_(\lambda_(s_)) &\text.
\end


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Behavior of coupled DEVS」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.